#include <stdio.h>

int main(void)
{
    // 输入身高（厘米）
    int H;
    if (scanf("%d", &H) != 1) {
        return 0;
    }

    // 标准体重（公斤）= (身高-100)*0.9
    double kg = (H - 100) * 0.9;
    // 公斤转市斤：1 公斤 = 2 市斤
    double jin = kg * 2.0;

    // 保留小数点后1位输出，末尾不加换行
    printf("%.1f", jin);
    return 0;
}